]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8c7cac) | patch
extensions-tool: Implement enable/disable commands
authorFlorian Müllner <fmuellner@gnome.org>
Sun, 26 Aug 2018 19:37:07 +0000 (21:37 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Wed, 21 Aug 2019 16:28:02 +0000 (18:28 +0200)
commitc8c93b2a708ca4fb42b77ffb7beac68d190bc023
tree7e5b605fe5c75bc5b64cb897327b53ef5820accdtree | snapshot
parentd8c7cac53671938b990ccc517cae402dc57ff2ffcommit | diff
extensions-tool: Implement enable/disable commands

This replicates the most basic functionality of the existing
gnome-shell-extension-tool, albeit using a git/gio/gsettings
style command interface rather than plain options; this will
allow us to implement more complex commands that have options
on their own in the future.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1234
src/extensions-tool/command-disable.c [new file with mode: 0644] blob
src/extensions-tool/command-enable.c [new file with mode: 0644] blob
src/extensions-tool/commands.h [new file with mode: 0644] blob
src/extensions-tool/common.h [new file with mode: 0644] blob
src/extensions-tool/main.c diff | blob | history
src/extensions-tool/meson-src.build diff | blob | history
src/extensions-tool/meson.build diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.